154 research outputs found

    Von Wright-Anderson's decision procedures for Lewis's systems S2 and S3

    Full text link

    Linear-order on a group

    Full text link

    Gentzen decision procedures for Lewis's systems S2 and S3

    Full text link

    On intuitionistic functional calculus

    Full text link

    On linearization of ordered groups

    Full text link

    Gentzen method in modal calculi. II

    Full text link

    Gentzen method in modal calculi

    Full text link

    Correction to our paper : "Gentzen method in modal calculi"

    Full text link

    The Chemical Composition of Membrane Lipids in Acclimation to Chilling of Squash (Cucurbita moschata Duch. cv Shirogikuza) Seedlings

    Get PDF
    Chilling-tolerance of squash (Cucurbita moschata Duch. cv Shirogikuza) cotyledons was measured after 3 d of cold acclimation at 12℃. Squash seedlings grown at 12℃ (chilling-treated, CT) and 25 ℃ (non-treated, NT) were analyzed to examine whether the chilling treatment affected lipid composition and content. A slight decrease of sterol lipid/glycerophospholipid ratio was observed in CT seedlings, and although the levels of unsaturated fatty acids in phosphatidylglycerol were not significantly different between the two seedlings, the level of 3-E-hexadecenoic acid increased slightly in CT seedlings. In phosphatidylcholine, the level of linolenic acid slightly increased in the CT seedlings. In ceramide monohexoside, the levels of 8-Z- and 8-E-stereoisomerism of 4-hydroxy sphingoid bases were essentially the same between the two seedlings, while a slightly increased level of 2-hydroxy palmitic acid was observed in CT seedlings. The involvement of lipids in the change to chilling sensitivity is discussed in this experiment

    Delaunay network using detour

    Get PDF
    計算機器(以下ノード)の位置関係により定義されるドロネーネットワークは,平面上で局所性を持つため,(i)対象領域の拡張に伴うネットワークの拡張性,(ii)ノードの位置に基づく地理的な経路選択,(iii)ノードの頻繁な参加・離脱に対する弾力性の保持などの面で有用である.そのため,アドホックネットワークを用いたアプリケーションにおいて応用性が広い.しかし,ノードの通信範囲に制限のある無線環境を考慮すると,ノードの位置に基づくドロネー図を直接的に構成できない.そこで本稿では,直接接続を持たないノード間に対して迂回経路による仮想リンクを定義し,無線環境でドロネー図を仮想的に構成するアルゴリズムを提案する.各ノードは,実行時の隣人までの接続通知に経路情報を繋ぎ合わせることで,迂回経路による仮想リンクを生成し,すべてのノード間で仮想的なドロネーネットワークを自律分散的に構成することができる.さらに,迂回経路は一般に2ノード間で複数存在するため,迂回経路の縮退アルゴリズムについても述べる.提案ネットワークの上で,欲張り法及びその拡張法を用いた経路選択法を提示し,本ネットワークのアプリケーションについても述べ,各ノードの維持負荷,迂回経路の効果などを定量的に検証する.DEWS2008 D7-2 電子情報通信学会 第19回データ工学ワークショップ 2008年3月9日~11日正式版リンクwww.ieice.org/~de/DEWS/DEWS2008/proceedings/files/d7//d7-2.pd
    corecore